es-decl(es;ds;da)
== (i:Id. state@i r (ds(i)))
== & (i:Id, k:Knd. (hasloc(k;i))  (kindtype(i;k) r (da(i,k)))) 

latex

---

clarification:

es-decl(es;ds;da)
== (i:Id. es-state(es;i) r (ds(i)))
== & (i:Id, k:Knd. (hasloc(k;i))  (es-kindtype(es;i;k) r (da(i,k)))) 

latex

Definitions	P & Q, state@i, Id, x:A. B(x), Knd, P  Q, b, hasloc(k;i), kindtype(i;k), f(a)
FDL editor aliases	es-decl